forall(_: T) -> U
